Computable analysis - PDFSEARCH.IO - Document Search Engine

Computable analysis
Results: 139

#	Item
131	Sino-Germany Project July, 2005 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Computable number Computable analysis Computable real function Low Turing machine Computable measure theory Computability Computable function Computability theory Theoretical computer science Theory of computation
132	From Constructive Mathematics to Computable Analysis via the Realizability Interpretation Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2011-04-18 10:20:46 Knowledge Mathematical constructivism Realizability Constructivism
133	Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-01-12 03:38:24 Topology Functional analysis General topology Theory of computation Descriptive set theory Computable analysis Computable function Mathematical analysis Baire space Mathematics Mathematical logic Computability theory
134	The Realizability Approach to Computable Analysis and Topology Andrej Bauer Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:18:33 Mathematical constructivism Logic in computer science Algebraic structures Realizability Categorical logic Function Intuitionistic logic Combinatory logic First-order logic Mathematical logic Mathematics Logic
135	Assessing the Macroeconomic Effects of the Barcelona Initiative Add to Reading List Source URL: www.wiso.uni-hamburg.de Language: English - Date: 2012-10-18 04:39:28 Econometrics International trade Regression analysis Computable general equilibrium Economic model Instrumental variable Linear regression Macroeconomic model Free trade Economics Statistics Business
136	Real Number Computability and Domain Theory ∗ Pietro Di Gianantonio dipartimento di Matematica e Informatica, Universit`a di Udine Add to Reading List Source URL: users.dimi.uniud.it Language: English - Date: 2010-04-04 11:51:58 Elementary mathematics Field theory Computable number Computable analysis Computable function Real number Computable real function Rational number Cauchy sequence Mathematics Computability theory Theory of computation
137	TOURISM AND THE ECONOMY OF TANZANIA: A CGE ANALYSIS* By Add to Reading List Source URL: www.csae.ox.ac.uk Language: English - Date: 2012-02-21 09:28:11 Computable general equilibrium Economy of the Arab League Economy of Tanzania Gross domestic product Economics Microeconomics Business Economy of Morocco Economy of the Maldives Entertainment Leisure Tourism
138	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-30 08:32:21 Calculus Computability theory Real analysis Theory of computation Continuous function Programming Computable Functions Computable function Function Domain theory Mathematical analysis Mathematics Topology
139	PDF Document Add to Reading List Source URL: eccc.hpi-web.de Language: English - Date: 2010-01-04 06:24:49 Mathematical logic Mathematics Computable function Computable number Computable analysis Computable real function Function Utm theorem Church–Turing thesis Computability theory Theoretical computer science Theory of computation